System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
161	IEEE ISORC 2014 Program Time Monday, 9 June 2014: Workshops SEUS SESSION 1: Embedded Systems Design & Applications Add to Reading List Source URL: www.isorc2014.org Language: English - Date: 2014-05-08 09:52:22 Software engineering Computing Programming language theory System of systems Systems engineering Systems theory Embedded system Hermann Kopetz Cyber-physical system Ada Model checking Operating system
162	Dynamic Inference of Abstract Types Philip J. Guo Jeff H. Perkins Stephen McCamant Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Software engineering Computing Data types Programming language theory Type theory Type system Array data type Scala Abstract data type Variable Type inference HindleyMilner type system
163	ACT Parameterization Framework Alan Paviˇci´c Nikˇsa Bosni´c AVL-AST Zagreb, Croatia Add to Reading List Source URL: www.deinprogramm.de Language: English - Date: 2005-10-09 10:54:10 Software engineering Computer programming Computing Object-oriented programming Common Lisp Object System Metaobject Generic function Metaclass Frame language Class Object Mutator method
164	The F# 3.1 Language Specification Note: This documentation is the specification of the 3.1 release of F# for releases and updates made inDiscrepancies may exist between this specification and the 3.1 implementa Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Software engineering Computer programming Computing Functional languages F Sharp Strong and weak typing Type system C Expression Operator Recursion C Sharp syntax
165	PScout: Analyzing the Android Permission Specification Kathy Wain Yee Au, Yi Fan Zhou, Zhen Huang and David Lie Dept. of Electrical and Computer Engineering University of Toronto, Canada ABSTRACT Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2013-02-13 22:42:23 Computing Software Computer architecture Smartphones Android Alphabet Inc. Computing platforms Application programming interface Mobile operating system Java Platform Micro Edition Google Play Web API
166	Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computer programming Computing Object-oriented programming languages Subroutines Data types Functional programming Type theory Parameter Type system Higher-order function Pointer
167	INTERHOSPITAL TRANSFER FORM Provincial Blood Coordinating Program SECTION I: Add to Reading List Source URL: www.health.gov.nl.ca Language: English - Date: 2016-01-14 07:29:12 Computer programming System time ISO Computing Time Computer engineering
168	M A N U FA C T U R I N G C O R P O R AT I O NE t o n A v e . , C a n o g a P a r k , C A • ( 110 0 Fax: ( • www.rainborecords.com • CREDIT CARD Add to Reading List Source URL: www.rainborecords.com Language: English - Date: 2013-04-25 15:04:51 E-commerce Computing Address Verification System Software engineering Computer programming Signed overpunch
169	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringQuiz I Solutions Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:34 Concurrency control Computing Software Computer programming Lock Monitor File locking Synchronization Linearizability Mutual exclusion
170	The Link King v6.0 User Manual Update The Link King v6.0 features upgrades in four areas: • Enhancement to the display of the final linkage map. Add to Reading List Source URL: www.the-link-king.com Language: English - Date: 2009-06-12 01:04:53 Software System software Computing Compilers Linker Programming language implementation Linkage X Window System Data management

UPDATE